Synthesizing Controllers for Nonlinear Hybrid Systems
نویسندگان
چکیده
Motivated by an example from aircraft connict resolution we seek a methodology for synthesizing controllers for nonlinear hybrid automata. We rst show how game theoretic methodologies developed for this purpose for nite automata and continuous systems can be cast in a uniied framework. We then present a conceptual algorithm for extending them to the hybrid setting. We conclude with a discussion of computational issues.
منابع مشابه
Soft Switching MBC Controller for MIMO Linear Hybrid Systems
Switching supervisory is the most important section of a feedback control process inMIMO hybrid systems. By choosing a non-compatible controller, system may go tounstable mode or high overshoot response. In this paper, a new method of switchingfor selecting MBC controllers is discussed. Results of the simulation show the MIMO(2-in 2-out) linear hybrid system can be switched stable and low overs...
متن کاملOn Controller Synthesis for Nonlinear Hybrid Systems’
We present a methodology for synthesizing controllers for hybrid systems to satisfy safety specifications. Motivated by an application to conflict resolution for aircraft, we present a conceptual algorithm that extends game theoretic methodologies developed for controller synthesis for finite automata and continuous systems to the hybrid setting. We conclude with a brief discussion of computati...
متن کاملSMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems
We present a new method for the automated synthesis of safe and robust Proportional-Integral-Derivative (PID) controllers for stochastic hybrid systems. Despite their widespread use in industry, no automated method currently exists for deriving a PID controller (or any other type of controller, for that matter) with safety and performance guarantees for such a general class of systems. In parti...
متن کاملComputing Controllers for Nonlinear Hybrid Systems
We discuss a procedure for synthesizing controllers for safety specifications for hybrid systems. The procedure depends on the construction of the set of states of a continuous dynamical system that can be driven to a subset of the state space, avoiding another subset of the state space (the Reach-Avoid set). We present a new characterization of the Reach-Avoid set in terms of the solution of a...
متن کاملAdaptive Observer-Based Decentralized Scheme for Robust Nonlinear Power Flow Control Using HPFC
This paper investigates the robust decentralized nonlinear control of power flow in a power system using a new configuration of UPFC. This structure comprises two shunt converters and one series capacitor called as hybrid power flow controller (HPFC). A controller is designed via control Lyapunov function (CLF) and adaptive observer to surmount the problems of stability such as tracking desired...
متن کامل